Books by author Axel Legay

Showing 1 – 11 out of 11 results

1. 

   Runtime Verification

   Axel Legay, Saddek Bensalem | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.46 €

   Buy
2. 

   Model Checking Software

   Fabrizio Biondi, Thomas Given-Wilson, Axel Legay | Springer Nature Switzerland AG, 2019

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.46 €

   Buy
3. 

   Risks and Security of Internet and Systems

   Frédéric Cuppens, Nora Cuppens, Jean-Louis Lanet, Axel Legay | Springer International Publishing AG, 2017

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.46 €

   Buy
4. 

   Automated Technology for Verification and Analysis

   Cyrille Artho, Axel Legay, Doron Peled | Springer International Publishing AG, 2016

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.46 €

   Buy
5. 

   From Programs to Systems - The Systems Perspective in Computing

   Saddek Bensalem, Yassine Lakhnech, Axel Legay | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.46 €

   Buy
6. 

   Models, Algorithms, Logics and Tools

   Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare | Springer International Publishing AG, 2017

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.46 €

   Buy
7. 

   Formal Modeling and Analysis of Timed Systems

   Axel Legay, Marius Bozga | Springer International Publishing AG, 2014

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.46 €

   Buy
8. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Axel Legay, Tiziana Margaria | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2017

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.46 €

   Buy
9. 

   Hardware and Software: Verification and Testing

   Valeria Bertacco, Axel Legay | Springer International Publishing AG, 2013

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.46 €

   Buy
10. 

    Risks and Security of Internet and Systems

    Nora Cuppens, Frédéric Cuppens, Jean-Louis Lanet, Axel Legay, Joaquin Garcia-Alfaro | Springer International Publishing AG, 2018

    
    

    Low in stock at our supplier - Shipping in 13 - 16 days

    Language: English

    Binding: Paperback

    61.46 €

    Buy
11. 

    Tools and Algorithms for the Construction and Analysis of Systems

    Axel Legay, Tiziana Margaria | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2017

    
    

    Low in stock at our supplier - Shipping in 13 - 16 days

    Language: English

    Binding: Paperback

    61.46 €

    Buy

Estimated delivery date you can see on the book page. Find out more